LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.orgยท1d
๐Ÿ”FPGA Verification
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Counting with Categories (Part 3)
golem.ph.utexas.eduยท23h
ฮปLambda Formalization
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.comยท4h
๐Ÿ”“Open Source Software
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท2hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท41mยท
Discuss: DEV
๐Ÿ“Code Metrics
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท1d
โš–๏ธHoare Logic
The Guide to the Foundation Models Framework
azamsharp.comยท1hยท
Discuss: Hacker News
ฮปLambda Formalization
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.comยท1d
๐ŸŒ€Brotli Internals
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
PEGTL -- Parsing Expression Grammar Template Library
github.comยท15hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท4hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท1d
๐Ÿ”งHardware Verification
LLMs, Data Dysphoria, and the Global Regulatory Response
hackernoon.comยท2d
๐Ÿ’ปLocal LLMs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Verification
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
Why Agentic Flows Need Distributed-Systems Discipline
temporal.ioยท21hยท
Discuss: Hacker News
โš™๏ธTLA+